bmw quality assurance ford source code analysis audi dynamic analysis system architecture honda static analysis mercedes quality code coverage critical software defects software quality software